141. Approaches and applications of inductive programming
Author: / Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (Eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Functional programming (Computer science), Congresses
Classification :
QA76
.
62
.
A25
2010
142. Approximate Dynamic Programming: Solving the Curses of Dimensionality, Second Edition
Author: / Powell
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
143. Approximation Algorithms and Semidefinite Programming
Author: / rtner, Jiri Matousek (auth.)عBernd G
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
144. April 3, 2011. Proceedingsع۰بcken, Germany, March 26Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr
Author: / Andrew W. Appel (auth.), Gilles Barthe (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
145. Arduino Sketches: Tools and Techniques for Programming Wizardry
Author: / Langbridge
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ELECTRONIC|ENGINEERING, MECHANICAL|ENGINEERING, MULTIDISCIPLINARY& CONTROL SYSTEMS|ENGINEERING, ELECTRICAL &COMPUTER SCIENCE, SOFTWARE ENGINEERING|AUTOMATION
Classification :
E-BOOK
146. Art of Computer Programming. Volume 4a: Combinatorial Algorithms, Part 1
Author: / Donald E. Knuth
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
147. Art-the-of-2008: From the Early Years to the State-50 Years of Integer Programming 1958
Author: / nger, Thomas M. Liebling, Denis Naddef, George L. Nemhauser, William R. Pulleyblank, Gerhard Reinelt, Giovanni Rinaldi, Laurence A. Wolsey (eds.)یtal, William Cook, George B. Dantzig, Delbert R. Fulkerson, Selmer M. Johnson (auth.), Michael Jعek ChvجVa
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
148. Aspect-Oriented Database Systems
Author: by Awais Rashid.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Database management.,Software engineering.
Classification :
QA76
.
9
.
D3
B939
2004
149. Assurances for self-adaptive systems
Author: Javier Cámara...[et al.] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Adaptive computing systems,Computer software-- Verification,Self-adaptive software
Classification :
QA76
.
76
.
S375
A87
2013
150. Asynchronous Digital Circuit Design
Author: edited by Graham Birtwistle, Alan Davis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
151. Asynchronous sequential machine design and analysis
Author: / Richard F. Tinder
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Asynchronous circuits, Mathematical models,Sequential circuits, Mathematical models,Sequential machine theory, Mathematical models,Asynchronous,Sequential,Sequencers,Logic,Machines,Digital,Self-timed,Arbiters
Classification :
E-BOOK
152. Authoring tools for advanced technology learning environments :
Author: edited by Tom Murray, Stephen Blessing, Shaaron Ainsworth.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-assisted instruction -- Authoring programs.
Classification :
LB1028
.
73
E358
2011
153. Authoring tools for advanced technology learning environments :
Author: edited by Tom Murray, Stephen Blessing, Shaaron Ainsworth.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-assisted instruction -- Authoring programs.
154. Automata, Languages and Programming
Author: / SgallکLuca Aceto, Monika Henzinger, Ji
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
155. Automata, Languages and Programming
Author: / Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
156. Automata, Languages and Programming
Author: / Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
157. Automata, Languages and Programming
Author: / SgallکLuca Aceto, Monika Henzinger, Ji
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
158. Automata, Languages and Programming :
Author: edited by Hermann A. Maurer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Information theory.,Software engineering.,Theory of Computation.
159. Automate the Boring Stuff with Python: Practical Programming for Total Beginners
Author: / Al Sweigart
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
160. Automated Deduction - A Basis for Applications
Author: edited by Wolfgang Bibel, Peter H. Schmitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
